Debloating Software through Piece-Wise Compilation and Loading
نویسندگان
چکیده
Programs are bloated. Our study shows that only 5% of libc is used on average across Ubuntu Desktop environment (>2200 programs); the heaviest user, vlc media player, only used 18%. This is striking because bloating presents a vulnerable attack surface for software exploitation and imposes undue burden on defenses (e.g., CFI defenses). In this paper: (1) We present a debloating framework built on a compiler toolchain that can successfully debloat software (shared/static libraries and executables). Our solution can successfully compile and load most libraries on Ubuntu Desktop 16.04. (2) We demonstrate an elimination of over 84% code from coreutils and 85% code from SPEC CPU 2006 benchmark programs without affecting functionality. We show that even complex COTS programs (e.g., FireFox, Curl) can be debloated without a need to recompile. (3) We demonstrate the security impact of our system by eliminating over 70% of reusable code gadgets from coreutils suite, and show that unused code that contain real-world vulnerabilities can be successfully eliminated without adverse effects on the program. (4) Our solution imposes a low load time overhead.
منابع مشابه
Piece Wise Linear Performance Modeling of Submicronic Cmos Library
Shortening of design cycles is currently obtained by designing digital systems at gate or cell level, using precharacterized gate or cell delays to speed up the performance analysis. Modeling timing library format is one of the most difficult task of library designers. We present in this paper a piece wise linear approximation of the delay performance equations of submicronic CMOS library, cons...
متن کاملOptimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System
Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...
متن کاملOptimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System
Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...
متن کاملA Continuous Macroscopic Model
In this paper the Dynamic User Equilibrium is formulated and solved as a fixed point problem in terms of time-continuous real valued temporal profiles of arc inflows and arc performances, where travel demand is specified both through a deterministic and a stochastic implicit path choice model. By extending to the dynamic case the concept of Network Loading Map, yielding arc flows for given dema...
متن کاملVerified Safety and Information Flow of a Block Device
This work reports on the author’s experience designing, implementing, and formally verifying a low-level piece of system software. The timing model and the adaptation of an existing information flow policy to a monadic framework are reasonably novel. Interactive compilation through equational rewriting worked well in practice. Finally, the project uncovered some potential areas for improving in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1802.00759 شماره
صفحات -
تاریخ انتشار 2018